(show_mouse_face): Change the mouse cursor accordingly.

diff --git a/src/xterm.c b/src/xterm.c
index 8d77ea4108dd5679736545c9dc2012a0b1380948..45b52d8dea88abba85c99d7f5b27fe00b44efcfc 100644 (file)
--- a/src/xterm.c
+++ b/src/xterm.c
@@ -2208,6 +2208,12 @@ show_mouse_face (hl)
   /* If we turned the cursor off, turn it back on.  */
   if (cursor_off)
     x_display_cursor (f, 1);
+
+  /* Change the mouse cursor according to the value of HL.  */
+  if (hl > 0)
+    XDefineCursor (XDISPLAY FRAME_X_WINDOW (f), f->display.x->cross_cursor);
+  else
+    XDefineCursor (XDISPLAY FRAME_X_WINDOW (f), f->display.x->text_cursor);
 }
 
 /* Clear out the mouse-highlighted active region.